Перевод: с английского на все языки

со всех языков на английский

дерево вывода

См. также в других словарях:

  • дерево вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN derivation tree …   Справочник технического переводчика

  • ВЫВОДА ДЕРЕВО — способ записи выводов в исчислении, при к ром над каждым элементом Рпишутся те элементы вывода, из к рых Рполучен за одно применение вывода правила. Напр., имея вывод в к ром аксиомы, получается за одно применение правила из из из можно записать… …   Математическая энциклопедия

  • ГРАММАТИКА БЕСКОНТЕКСТНАЯ — грамматика контекстно свободная, КС грамматика, грамматика составляющих, все правила к рой имеют вид где А вспомогательный символ и непустая цепочка (так наз. бесконтекстные правила). Языки, порождаемые такими грамматиками, наз. бесконтекстными… …   Математическая энциклопедия

  • Формальная грамматика — Генеративная лингвистика …   Википедия

  • Семейство ястребиные —         Птицы, принадлежащие к этому семейству, характеризуются совершенно оперенными плюснами, достигающими длины среднего пальца, кругловатыми или яйцевидными, почти вертикально расположенными в восковице ноздрями и хвостом, равным половине… …   Жизнь животных

  • Израиль — Государство Израиль, в Зап. Азии, на вост. побережье Средиземного моря. Образовано в 1948 г. на основе решения Генеральной Ассамблеи ООН от 29 ноября 1947 г. В качестве названия принято название еврейского гос ва, существовавшего примерно в этих… …   Географическая энциклопедия

  • Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций  это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка …   Википедия

  • КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

  • Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний , созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации… …   Википедия

  • Алгоритм Rete — Rete[1]  эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской… …   Википедия

  • My Lands — Разработчик Gravvit LLC Дата выпуска 28 июня 2010 года Жанр Компьютерная стратегическая игра Управление Клавиатура, мышь Сайт …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»